141. Inductive reasoning :
پدیدآورنده: edited by Aidan Feeney, Evan Heit.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),Reasoning (Psychology)
رده :
BF442
.
I53
2007
142. Inference on the Low Level
پدیدآورنده: by Hannes Leitgeb.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
143. Information, Uncertainty and Fusion
پدیدآورنده: edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Information storage and retrieval systems.,Logic, Symbolic and mathematical.,Mathematics.,Microeconomics.
144. Intellectics and Computational Logic
پدیدآورنده: edited by Steffen Hölldobler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General).
145. Intelligent Hybrid Systems
پدیدآورنده: edited by Da Ruan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
146. International Business Machine
پدیدآورنده: Aggarwal, CharuC
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Artificial intelligence,، Computer architecture & logic design,، Computer networking & communications
رده :
Q
335
.
A33
147. Intuitionistic Fuzzy Sets
پدیدآورنده: by Krassimir T. Atanassov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.
148. KI 2015
پدیدآورنده: \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
149. Knowledge Representation and Defeasible Reasoning
پدیدآورنده: edited by Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic.
رده :
Q335
.
E358
1990
150. Labelled Deduction
پدیدآورنده: edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
151. Logic, Action and Cognition
پدیدآورنده: edited by Eva Ejerhed, Sten Lindström.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Humanities.,Logic.,Philosophy (General).
152. Logic-Based Program Synthesis and Transformation
پدیدآورنده: edited by María Alpuente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
153. Logic, Language and Reasoning
پدیدآورنده: edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
154. Logic Program Synthesis and Transformation :
پدیدآورنده: edited by Maurizio Proietti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
155. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
156. Logic : a foundation for computer science
پدیدآورنده: Sperschneider, V.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
157. Logic : a foundation for computer science
پدیدآورنده: Sperschneider, V.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
158. Logic and Grammar :
پدیدآورنده: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
P98
.
E358
2011
159. Logic and Grammar :
پدیدآورنده: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
160. Logic, artificial intelligence, and robotics: LAPTEC 2001
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Robotics
رده :
Q
334
.
C69
2001
